Electronic Books

Total Books: 1 - 20 /60
Agent-Oriented Software Engineering VIII : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

This volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software ...

Lire la suite
Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...

Lire la suite
Approximation and Online Algorithms (vol. # 3879)

The third Workshop on Approximation and Online Algorithms (WAOA 2005) focused on the design and analysis of algorithms for ...

Lire la suite
Architecting Dependable Systems V

As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...

Lire la suite
Component-Based Software Engineering

Providing all the latest on a topic of extreme commercial relevance, this book contains new trends in global software services ...

Lire la suite
Component-Based Software Engineering

Providing all the latest on a topic of extreme commercial relevance, this book contains new trends in global software services ...

Lire la suite
Computational Science and Its Applications - ICCSA 2008 : International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I

The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...

Lire la suite
Computational Science and Its Applications - ICCSA 2008 : International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II

The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...

Lire la suite
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...

Lire la suite
Computer Performance Engineering : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings

This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de ...

Lire la suite
Coordination, Organizations, Institutions, and Norms in Agent Systems III : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers

This book constitutes the refereed post-workshop proceedings of the International Workshop on Coordination, Organization, ...

Lire la suite
Creating Client Extranets with SharePoint 2003

Creating Client Extranets with SharePoint 2003 is a guide for creating client-facing extranets using SharePoint 2003. This ...

Lire la suite
Developing Statistical Software in Fortran 95

"This book gives statisticians, biostatisticians and methodologically-oriented researchers the tools they need to develop ...

Lire la suite
Engineering Societies in the Agents World VIII : 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Engineering ...

Lire la suite
Enterprise Service Oriented Architectures

Enterprise Service Oriented Architectures helps readers solve this challenge in making different applications communicate ...

Lire la suite
Experimental Algorithms : 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30-June 1, 2008 Proceedings

The Workshop on Experimental Algorithms, WEA, is intended to be an international forum for research on the experimental evaluation ...

Lire la suite
Formal Approaches to Software Testing and Runtime Verification

Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...

Lire la suite
Formal Methods and Software Engineering (vol. # 4260)

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, ...

Lire la suite
Foundations of Java for ABAP Programmers

The only beginning book of its kind, this book will teach you SAP/ABAP developers the skills you need for Java 5 programming. ...

Lire la suite
Foundations of SQL Server 2005 Business Intelligence

This book explains how best to use Analysis Services, SQL Server Integration Services, SQL Server Reporting Services, and ...

Lire la suite
Total Books: 1 - 20 /60